Новая философская энциклопедия - аналитических таблиц метод

Построение аналитической таблицы для некоторой формулы А начинается с предположения о ее ложности. Далее по правилам построения осуществляется сведение этого предположения к все более простым условиям ложности А в виде выражений ТВ («истинно В») и FB («ложно В»), называемых отмеченными формулами (далее «ТГ-формулы»), где В— формула соответствующей системы. В случае общезначимости А процесс редукции приводит к противоречию.

Правила построения аналитических таблиц специфичны для каждой системы, а также зависят от способа их построения. Имеются два таких способа: в виде дерева, или множества столбцов (когда ветви дерева рассматриваются как столбцы), и в виде последовательности семейств множеств ТУ-формул, называемых конфигурациями.